overview: Fix XDnD

I accidentally removed this import which some XDnD code depends upon.

diff --git a/js/ui/overview.js b/js/ui/overview.js
index ee2c0769f0967535452bc615281283cd263c04f2..fb6b910abfb87142d77dc24b27f5af0e4aec3ece 100644 (file)
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -19,6 +19,7 @@ const OverviewControls = imports.ui.overviewControls;
 const Panel = imports.ui.panel;
 const Params = imports.misc.params;
 const Tweener = imports.ui.tweener;
+const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
 
 // Time for initial animation going into Overview mode
 const ANIMATION_TIME = 0.25;